1. Verification, Model Checking, and Abstract Interpretation :
پدیدآورنده : edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
